2841. Text, speech and dialogue : third International Workshop, TSD'2000, Brno, Czech Republic, September 13-16, 2000 : proceedings
پدیدآورنده: Petr Sojka, Ivan Kopecek, Karel Pala )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
1902
2842. The Analysis of meaning : informatics 5 : proceedings of a conference held by the Aslib Informatics Group and the BCS Information Retrieval Specialist Group, 26-28 March 1979, the Queen's College, Oxford
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Semantics-- Data processing-- Congresses,، Artificial intelligence-- Congresses,، Information storage and retrieval systems-- Congresses
رده :
P
325
.
5
.
D38
.
A5
2843. The Emerging Semantic Web :
پدیدآورنده: edited by Isabel Cruz [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Semantic Web, Congresses.,World Wide Web, Congresses.,Web sémantique, Congrès.,Web, Congrès.,COMPUTERS-- Networking-- Intranets & Extranets.,COMPUTERS-- Web-- General.,Semantic Web.,World Wide Web.
رده :
TK5105
.
88815
.
E44
2002eb
2844. <The> Fifth Conference on Artificial Intelligence Applications: Omni Computer Society
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Artificial intelligence - Congresses,، Expert systems )Computer science( - Congresses,، Reasoning - Congresses,، Knowledge, Theory of - Congresses,، Robotics - Congresses
رده :
Q
334
.
C66
1989
2845. The Logic of theory change : Workshop, Konstanz, FRG, October 13-15, 1989 : proceedings
پدیدآورنده: A. Fuhrmann, M. Morreau )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
465
2846. The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
L5663
1991
2847. The Next generation of information systems : from data to knowledge
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Data base management-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
9
.
D3
.
N485
1992
2848. The Next generation of information systems : from data to knowledge
پدیدآورنده: M.P. Papazoglou, J. Zeleznikow )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Database management,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
611
2849. The ecosystem of e-business: technologies, stakeholders, and connections :
پدیدآورنده: Jennifer J. Xu, Bin Zhu, Xiao Liu, Michael J. Shaw, Han Zhang, Ming Fan (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cloud computing, Congresses.,Electronic commerce, Congresses.,Internet, Congresses.,Cloud computing.,Electronic commerce.,Internet.
رده :
HF5415
.
1265
.
W67
2018
2850. The emerging semantic we
پدیدآورنده: / edited by Isabel Cruz ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Semantic Web--Congresses
رده :
TK
,
5105
.
88815
,.
S46
,
2001eb
2851. The emerging semantic web :
پدیدآورنده: / edited by Isabel Cruz ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Semantic Web , Congresses,World Wide Web , Congresses
رده :
E-BOOK
2852. The evolution of language :
پدیدآورنده: editors Angelo Cangelosi, Andrew D.M. Smith & Kenny Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Language and languages-- Origin, Congresses.,Language and languages-- Origin.,LANGUAGE ARTS & DISCIPLINES-- General.
رده :
P116
.
I64
2006eb
2853. The semantic web -- ISWC 2018 :
پدیدآورنده: Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
2854. The 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, November 7-11, 2005
پدیدآورنده: Sponsored by IEEE Computer Society, ACM Software Research, University of California, Irvine, Department of Computing, City University, London ]and[ Donald Bren School of Information and Computer Sciences, University of California, Irvine
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer-aided software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
I442
2005
2855. The 8th International Conference on Computer Engineering and Networks (CENet2018) /
پدیدآورنده: Qi Liu, Mustafa Mısır, Xin Wang, Weiping Liu, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering, Congresses.,Computer networks, Congresses.,Computer engineering.,Computer networks.
رده :
TK7885
.
A1
2856. Theorem proving with analytic tableaux and related methods :
پدیدآورنده: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
رده :
QA76
.
9
.
A96
P484
1995
2857. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
پدیدآورنده: P. Miglioli ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1071
2858. Theoretical approaches to non-numerical problem solving; proceedings
پدیدآورنده: Systems Symposium, 4th, 8691, Case Western Reserve University
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Problem solving-- Congresses
رده :
Q
335
.
S94
1968
2859. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
2860. Theoretical computer science :
پدیدآورنده: edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
